P`↓⊂πxλpαH↔H8}g/πx(∧∃λU@⊂∃λU@*↓PiU⊂@λ0¬D∧¬
∧λ∧Dα@↓D¬∧↓D¬∧↓D∂↓Phππ
λ	H λLλLλpλLλtL↓A`λL↓H¬λλ``∞∧∞D¬∧@
λ⊂
⊃hλL
λX@_@¬
⊃@Y Y λX¬%@
( ∂HβQX
(λY λTλTλTλTλTλTλTλTλTλT
λ
λ 
≤ ¬,
\ 
L⊃p¬D∃λ↓∧↓Dα∧∪XαDβ∧∩PβDD∧∧∧D¬∧∪¬D∃⊂ε∧D¬∧∪XαD∩ ¬∧ εD∃λπ∧↓D∪ DDRPπD↓∩PD∪DS(λ∧
→#λL
→ λL

⊃8λH∀pπ∀@	λ∀0π	λ	L↓P⊂λH"∃Xπ∀
	L 
L⊃x
λ∀πλ∀λH∀@πλ ∀@
H HλP∀xπλ∃
H⊃x↓H∩
H
H ∩(	λλH∧⊃`∞H∧λLλLλLβαjU(αqcHβπ∞ α\8pαN≤8β⊃cH↓8q`απ∞ β∞≤8α@βU*Xαxq`α≤8p∧∞≤8α8q`α↓cG⊂↓≤8p↓∞≤8α∞≤8β*U(↓J'h↓Iz(↓G∞ αG∞ ↓qcHβN≤8∧α*U(↓*U(α]nx↓\8pαcG⊂α=∪xαIz(βαα∞≤8α*U(6¬X↓;k@αAcHα6¬XcG⊂≤8p1cHcG⊂↓*U(W∞ ∩lλ¬X_'i π∞ 	z(β⊂@00∞≤8≠⊂@∪⊂λ~ `→@X≠h	p⊂∂p⊂λ0⊂
0⊂↔0⊂~⊂⊂~p⊂@_P⊂~ p≠x	p⊂∂p⊂λ0⊂
0⊂↔0⊂~⊂⊂~p⊂@_P⊂@_¬`	`α⊂∂p_@λ0_@ πX@ π`@_β`@_βp_0 _0(≠p(→0(@_p(⊂00_0(≠p(→0(P0@⊂0⊂08≠p0→00_00≥00≤P0∪p(⊂p(⊃p(@∀0(≡0(≥00≤P0≠p0→00_00@⊂00⊂0(∃p(⊗0(∃P(@⊗⊂(≥⊂(≥0(_P(≡0(≥p(@≥P(~⊂(@~p(→0@≠p@_p@→⊂@≤0@≡⊂(≥P(≡0(@≥p(≥⊂(∃⊂0∪p(∃0(⊂p(∃p8⊗00⊃p(∃P8@∀0(@~P(␈}qcH␈}\8p'i 8q`␈␈cG⊂␈␈qcH␈␈U*X␈␈G∞ ∞≤8↓*U(U*X8q`↓\8p∧8q`